Algebraic modeling and its application
نویسندگان
چکیده
The article is devoted to the scientific development of Glushkov Institute Cybernetics National Academy Sciences Ukraine on application algebraic and insertional modeling technologies created basis behavioral algebra. Technologies formalization, verification, testing software hardware specifications within model-driven method are considered. use in biological research, systems based blockchain platforms, analysis legal economic models covered. One main areas these field cybersecurity, which uses matching formalization patterns vulnerabilities cyberattacks.
منابع مشابه
Algebraic distance in algebraic cone metric spaces and its properties
In this paper, we prove some properties of algebraic cone metric spaces and introduce the notion of algebraic distance in an algebraic cone metric space. As an application, we obtain some famous fixed point results in the framework of this algebraic distance.
متن کاملconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملProjective Normality of Algebraic Curves and Its Application to Surfaces
Let L be a very ample line bundle on a smooth curve C of genus g with 3g+3 2 < degL ≤ 2g − 5. Then L is normally generated if degL > max{2g+2−4h(C,L), 2g− g−1 6 −2h(C,L)}. Let C be a triple covering of genus p curve C′ with C φ → C′ and D a divisor on C′ with 4p < degD < g−1 6 − 2p. Then KC(−φ ∗D) becomes a very ample line bundle which is normally generated. As an application, we characterize s...
متن کاملAlgebraic reputation model RepRank and its application to spambot detection
Due to popularity surge social networks became lucrative targets for spammers and guerilla marketers, who are trying to game ranking systems and broadcast their messages at little to none cost. Ranking systems, for example Twitter’s Trends, can be gamed by scripted users also called bots, who are automatically or semi-automatically twitting essentially the same message. Judging by the prices an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vìsnik Nacìonal?noï akademìï nauk Ukraïni
سال: 2021
ISSN: ['2518-1203', '1027-3239']
DOI: https://doi.org/10.15407/visn2021.03.059